Strips-like Planning in the DALI Logic Programmming Language
نویسندگان
چکیده
In this paper we will discuss how some features of the new logic programming language DALI for agents and multi-agent systems are suitable to programming agents equipped with planning capabilities. We will discuss the design and implementation of an agent capable to perform STRIPS-like planning, and we will propose a significant example. In particular, a DALI agent, which is capable of complex proactive behavior, can build step-by-step her plan by proactively check for goals and possible actions. We demonstrate how general and flexible is the treatment of proactivity in DALI, which is different from all the other approaches that can be found in the literature.
منابع مشابه
Planning Experiments in the DALI Logic Programming Language
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is based on the mechanism of the internal events. This mechanism is general and flexible, and it is different from all the other approaches that can be found in the literature. In this paper, as a case-study we discuss ...
متن کاملTowards Active Logic Programming
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential features, while keeping the language as close as possible to the syntax and semantics of the plain Horn–clause language. Special atoms and rules have been introduced, for representin...
متن کاملDALI, RASP, Mnemosine: Computational Logic at Work
In this paper, we briefly describe recent research directions of the Artificial Intelligence group of the University of L'Aquila, Italy. Research activities concern Computational Logic and mainly Intelligent Logical Agents. In fact, in the last years the group has developed the logical agent-oriented language DALI. However, work is under way also in other areas, like, e.g., Non-Monotonic Reason...
متن کاملLearning Probabilistic Relational Planning Rules
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilistic STRIPS-like planning operators from examples. We demonstrate the effective learning of rule-based operators for a wide range of traditional planning domains.
متن کاملFrom Causal Theories to Successor State Axioms Bridging the Gap between Nonmonotonic Action Theories and Strips-like Formalisms Area: Representation Formalisms { Action
In this paper we describe a system that can be used to generate action eeect speciications. Unlike those like STRIPS commonly used in AI planning, our system uses an action description language that allows one to specify the eeects of actions using domain rules, which are state constraints that can entail new action eeects from old ones. Declaratively, an action domain in our language correspon...
متن کامل